341. Syntactic pattern recognition : an introduction
پدیدآورنده : Rafael C. Gonzalez, Michael G. Thomason
موضوع : Pattern perception,Formal languages,Machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
342. System specification and design languages
پدیدآورنده : Tom J. Kaźmierski, Adam Morawiec, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
رده :
TK7885
.
7
.
F35
2010eb
343. Term graph rewriting: theory and practice
پدیدآورنده : edited by M.R. Sleep and M.J. Plasmeijer and M.C.J.D. van Eekelen
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Formal languages,، Graph theory,، Rewriting systems )Computer science(
رده :
QA
267
.
3
.
T47
1993
344. The concept of fuzziness in automata and language theory
پدیدآورنده : Wechler, Wolfgang.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Machine theory,، Formal languages,، Set theory
رده :
QA
267
.
W43
345. The language of machines :
پدیدآورنده : Robert W. Floyd, Richard Beigel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions.,Formal languages.,Machine theory.,Berechenbarkeit,Computabilidade e modelos de computacao.,Computable functions.,Formal languages.,Formale Sprache,Formale Sprache.,Machine theory.,Maschinensprache,Maschinensprache.,Theoretische Informatik
رده :
QA267
.
3
.
F56
1994
346. The mathematical theory of L systems
پدیدآورنده : Rozenberg, Grzegorz.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، L systems,، Formal languages
رده :
QA
3
.
P8
v
.
90
347. The mathematical theory of L systems
پدیدآورنده : Rozenberg, Grzegorz, 2491-
کتابخانه: (طهران)
موضوع : ، L systems,، Formal languages
رده :
QA
267
.
3
.
R69
348. The mathematical theory of context free languages
پدیدآورنده : Ginsburg, Seymour
کتابخانه: (طهران)
موضوع : ، Formal languages,، Sequential machine theory
رده :
QA
267
.
5
.
S4
G5
349. The mathematical theory of context free languages
پدیدآورنده : Ginsburg, Seymour, 7291-
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Formal languages,، Sequential machine theory
رده :
QA
267
.
5
.
S4G5
350. The oretical computer science
پدیدآورنده : Editor Alfredo Desantis,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Machine theory-Congresses,Formal Languages-Congresses
رده :
QA
.
I8T47
267
1995
351. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
352. Theoretical computer science
پدیدآورنده : 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
G18
1977
353. Theoretical computer science
پدیدآورنده : 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
48
354. Theoretical computer science : 3rd GI Conference, Darmstadt, March 28-30, 1977
پدیدآورنده : edited by H. Tzchach, H. Waldschmidt and K.-G. Walter on behalf of the GI
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
48
355. Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979
پدیدآورنده : edited by K. Weihrauch
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
67
356. Theoretical computer science : 6th GI-Conference, Dortmund, January 5-7, 1983
پدیدآورنده : edited by A.B. Cremers and H.P. Kriegel
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
145
357. Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981
پدیدآورنده : edited by Peter Deussen
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
104
358. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده : GI-Fachtagung Theoretische Informatik, 4th, 9791, Aachen
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1979
359. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده : edited by K. Weihrauch
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
67
360. Theoretical computer science : 6th GI conference, Dortmund, January 5-7, 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1983
